Cartesian Closed Topological Categories and Tensor Products

نویسنده

  • Gavin J. Seal
چکیده

The projective tensor product in a category of topologicalR-modules (where R is a topological ring) can be defined in Top, the category of topological spaces, by the same universal property used to define the tensor product of R-modules in Set. In this article, we extend this definition to an arbitrary topological category X and study how the cartesian closedness of X is related to the monoidal closedness of the category of R-module objects in X.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Cartesian closed subcategories of topological fuzzes

A category $mathbf{C}$ is called Cartesian closed  provided that it has finite products and for each$mathbf{C}$-object $A$ the functor $(Atimes -): Ara A$ has a right adjoint. It is well known that the category $mathbf{TopFuzz}$  of all topological fuzzes is both complete  and cocomplete, but it is not Cartesian closed. In this paper, we introduce some Cartesian closed subcategories of this cat...

متن کامل

$L-$ordered Fuzzifying Convergence Spaces

Based on a complete Heyting algebra, we modify the definition oflattice-valued fuzzifying convergence space using fuzzy inclusionorder and construct in this way a Cartesian-closed category, calledthe category of $L-$ordered fuzzifying convergence spaces, in whichthe category of $L-$fuzzifying topological spaces can be embedded.In addition, two new categories are introduced, which are called the...

متن کامل

Free Modules over Cartesian Closed Topological Categories

The construction of free R-modules over a cartesian closed topological category X is detailed (where R is a ring object in X), and it is shown that the insertion of generators is an embedding. This result extends the well-known construction of free groups, and more generally of free algebras over a cartesian closed topological category.

متن کامل

- Algebras in Tensor Categories

We define and systematically study nonassociative C *-algebras as C *-algebras internal to a topological tensor category. We also offer a concrete approach to these C *-algebras, as G-invariant, norm closed *-subalgebras of bounded operators on a G-Hilbert space, with deformed composition product. Our central results are those of stabilization and Takai duality for (twisted) crossed products in...

متن کامل

MPhil in Advanced Computer Science Advanced

SYLLABUS A range of topics for the course follows. 1. Algebraic theories: universal algebra; equational logic; soundness and completeness; theory translations and constructions. 2. Algebras: initial algebras; induction principle; recursive domain equations; free algebras. 3. Presheaves: cartesian closure; essential geometric morphisms; free cocompletions; Kan extensions; coends. 4. Simply typed...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Applied Categorical Structures

دوره 13  شماره 

صفحات  -

تاریخ انتشار 2005